You are here: irt.org | FOLDOC | Second-Order Lambda-calculus
<language> (SOL) A typed lambda-calculus.
["Abstract Types have Existential Type", J. Mitchell et al, 12th POPL, ACM 1985, pp. 37-51].
(1995-07-29)
Nearby terms: second generation language « second level cache « second normal form « Second-Order Lambda-calculus » second-system effect » sector interleave » sector interleaving
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL